unsafe trait T {}
